Skip to content

Conversation

@StanFromIreland
Copy link
Member

This was last done in 2023: #102625

I also added newlines to scripts/README for consistency and readability. Correcting a small error in the scripts/sortperf.py docstring is also included in this PR.

@AA-Turner
Copy link
Member

We should merge @sobolevn's PR first.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants